-
1 incompleteness theorem
Математика: теорема о неполнотеУниверсальный англо-русский словарь > incompleteness theorem
-
2 incompleteness theorem
мат.English-Russian scientific dictionary > incompleteness theorem
-
3 Gödel's incompleteness theorem
English-Russian electronics dictionary > Gödel's incompleteness theorem
-
4 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
-
5 theorem
- theorem of total probability
- acoustical reciprocity theorem
- Ampere's circuital theorem
- average theorem
- Bayes theorem
- Birkhoff-von Neumann theorem
- Bloch theorem
- Brouwer fixed-point theorem
- Cayley theorem - Chinese residue theorem
- compensation theorem
- completeness theorem
- constant-flux-linkage theorem
- Coopmans theorem
- CPT-theorem
- Cramer theorem
- current sheet theorem
- Dilworth theorem
- divergence theorem
- Floquet theorem
- Foster's reactance theorem
- Fourier theorem
- fuzzy theorem
- fuzzy approximation theorem
- Gauss theorem
- Gauss-Markov theorem
- Gödel's theorem
- Gödel's incompleteness theorem
- Hecht-Nielsen theorem
- hierarchy theorem
- Kolmogorov theorem
- Kolmogorov-Arnold theorem
- limit theorem
- logic theorem
- Lüders-Pauli theorem
- Manley-Rowe theorem
- matching theorem
- McCulloh-Pitts theorem
- Mermin-Wagner theorem
- Nyquist's theorem
- Poincare-Birkhoff theorem
- Poynting's theorem
- reciprocity theorem
- Radon theorem
- Routh-Hurwitz theorem
- sampling theorem
- selection theorem
- semantic theorem
- Shannon theorem
- Slutsky's theorem
- Stokes theorem
- Stone theorem
- superposition theorem
- syntactical theorem
- Takens theorem
- Thevenin's theorem
- unicity theorem
- Weierstrass theorem
- Wiener-Khintchin theorem
- Zorn theorem -
6 Gödel's theorem
= Gödel's incompleteness theorem теорема Гёделя (о неполноте) -
7 теорема о неполноте
Большой англо-русский и русско-английский словарь > теорема о неполноте
См. также в других словарях:
incompleteness theorem — noun Logic the theorem, proposed by the mathematician Kurt Gödel, that in any sufficiently powerful, logically consistent formulation of logic or mathematics there must be true formulas which are neither provable nor disprovable … English new terms dictionary
incompleteness theorem — … Useful english dictionary
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Godel's incompleteness theorem — noun see Godel s theorem … New Collegiate Dictionary
Gödel's incompleteness theorem — Logic, Math. 1. the theorem that states that in a formal logical system incorporating the properties of the natural numbers, there exists at least one formula that can be neither proved nor disproved within the system. 2. the corollary that the… … Universalium
Gödel's incompleteness theorem — noun A theorem in mathematical logic that states that no consistent system can be used to prove its own consistency … Wiktionary
gödel's incompleteness theorem — noun see gödel s theorem … Useful english dictionary
Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements … Wikipedia
incompleteness — noun the state or condition of being not complete Ant: completeness See Also: Gödels incompleteness theorem … Wiktionary
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia